Section: Dissemination

Teaching - Supervision

Teaching

Below are the teaching activities of the Focus members during 2011.

• Mario Bravetti

  • Undergraduate: “Tecnologie Web”, 46 hours, 3rd year, University of Bologna, Italy.

  • Master: “Tecnologie Web Avanzate”, 46 hours, 1st or 2nd year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Python”, 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Marco Gaboardi

  • Master: “Advanced Programming”, 40 hours. 1st or 2nd year. University of Pennsylvania, USA.

• Ivan Lanese

  • Undergraduate: “Programmazione”, 40 hours, 1st year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 90 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Undergraduate: “Introduction to programming in Python”, 58 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

  • Master: “Types and programming languages”, 40 hours, 1st year, University of Bologna, Italy.

  • Master: “Basic Computability”, 12 hours, 1st year and 2nd year, University of Bologna, Italy.

  • Master: “Logical foundations of computer science”, 40 hours, 1st year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Master: “Models for concurrency”, 15 hours, 2nd year, University of Bologna, Italy.

• Gianluigi Zavattaro

  • Master: “Informatica Teorica”, 72 hours, 1st year, University of Bologna, Italy.

  • Master: “Linguaggi di Programmazione”, 48 hours, 2nd year, University of Bologna, Italy.

• Jacopo Mauro

  • Undergraduate: “Algoritmi e strutture dati”, 20 hours, 1st year, University of Bologna, Italy.

• Giulio Pellitta

  • Undergraduate: “Laboratorio di Operating Systems”, 40 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Attivita' di supporto alla didattica universitaria di Informatica nell'ambito della Piattaforma di e-learning A3”, 130 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Laboratorio Informatica 1”, 60 hours, 1st year, University of Bologna, Italy.

• Elena Giachino

  • Undergraduate: “Programmazione”, 40 hours, 1st year, University of Bologna, Italy.

Supervision

Completed Phd thesis:

• Jacopo Mauro, “Constraints meet concurrency”. Dottorato di Ricerca in Informatica, University of Bologna, April 2012 Supervisors: M. Gabbrielli. [10]

• Claudio Mezzina, “Réversibilité dans le pi calcul d'ordre supérieur”, April 2012, University of Grenoble and University of Bologna, Supervisors: Jean-Bernard Stefani and Davide Sangiorgi. [11]

Below are the details on the PhD students in Focus: starting date, topic or provisional title of the thesis, supervisor(s). These are all PhDs in progress.

• Ornela Dardha, january 2011, Types for processes, D. Sangiorgi.

• Ferdinanda Camporesi, january 2009, Analysis of system biology, R. Cousot (Ecole Normale, Paris) and M. Gabbrielli

• Tudor Alexandru Lascu, january 2011, Formal methods for modelling and analyzing concurrent systems, C. Laneve and G. Zavattaro

• Jean-Marie Madiot, september 2011, Types, proofs and proof techniques for process calculi, D. Hirschkoff and D. Sangiorgi.

• Giulio Pellitta, january 2011, Implementations of geometry of interaction, S. Martini.

• Paolo Parisen Toldin, january 2010, Implicit computational complexity for probabilistic classes, S. Martini.

• Michele Alberti, december 20111; Separation results in the algebraic lambda-calculus; L. Regnier (Marseille) and S. Martini

• Marco Solieri, december 20111; Complexity of reduction in sharing graphs, S. Guerrini (Paris Nord) and S. Martini.

A few other PhD students are (co)-supervised by members of Focus, but currently are not in the Focus team (some of them might be added in 2013):

• Sara Zuppiroli (Bologna), january 2010; models for quantum computing; U. Dal Lago.

• Roberto Amadini (Bologna), january 2012, Constraint Programming, M. Gabbrielli.

• Alessandro Rioli (Bologna), january 2012; bisimulation equivalence in quantum lambda calculi; U. Dal Lago.

Juries

D. Sangiorgi has been rapporteur and member of the evaluation committee of the “Habilitation a Diriger des Recherche” (HDR) of Ludovic Henrio, Université de Nice, and Daniele Varacca, Université Paris 7.

U. Dal Lago has been rapporteur and member of the PhD jury for Antoine Madet, Université Paris 7.